Delimited continuation

Results: 42



#Item
31Control flow / C++ Standard Library / Subroutines / Scripting languages / Iterator / Object-oriented programming / Generator / Delimited continuation / Continuation / Software engineering / Computing / Computer programming

Yield: Mainstream Delimited Continuations Roshan P. James Indiana University Bloomington, Indiana, U.S.A. [removed]

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2011-04-11 08:52:38
32Data types / Type theory / Racket / Lambda calculus / Delimited continuation / Type system / String / Ada / Software engineering / Computing / Computer programming

Constraining Delimited Control with Contracts? Asumu Takikawa1 , T. Stephen Strickland2 , and Sam Tobin-Hochstadt1 1 2

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-01-16 15:37:27
33Functional programming / Adjoint functors / Control flow / Functional languages / Monad / Delimited continuation / Continuation / Map / J / Software engineering / Computer programming / Computing

1 Delimited continuations in Haskell This section describes programming with delimited control in Haskell. Delimited control, like its instance, exceptions, is an effect. Therefore, we have to use

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2011-09-28 00:23:40
34Control flow / Continuations / Functional languages / Delimited continuation / Functional programming / Subroutines / Continuation / Standard ML / Call-with-current-continuation / Software engineering / Computing / Computer programming

Introduction to Programming with Shift and Reset Kenichi Asai Oleg Kiselyov

Add to Reading List

Source URL: pllab.is.ocha.ac.jp

Language: English - Date: 2011-09-23 03:42:06
35Computer programming / Continuations / Delimited continuation / Continuation / C / Software engineering / Control flow / Computing

Clicking on Delimited Continuations http://okmij.org/ftp/packages/caml-shift.tar.gz http://okmij.org/ftp/ML/caml-web.tar.gz Continuation Fest 2008 Tokyo, Japan April 13, 2008

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2008-07-19 07:36:50
36Computer programming / Continuations / Delimited continuation / Continuation / OCaml / Function / Software engineering / Control flow / Computing

Clicking on Delimited Continuations http://okmij.org/ftp/packages/caml-shift.tar.gz http://okmij.org/ftp/ML/caml-web.tar.gz Continuation Fest 2008 Tokyo, Japan April 13, 2008

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2008-07-19 07:32:44
37Control flow / Continuations / Subroutines / Models of computation / Theoretical computer science / Continuation / Delimited continuation / COMEFROM / Goto / Software engineering / Computing / Computer programming

Reasoning about Continuations with Control E ects Pierre Jouvelot 1 2 David K. Gi ord 2 ;

Add to Reading List

Source URL: www.psrg.csail.mit.edu

Language: English - Date: 2013-07-14 14:56:24
38Continuations / Control flow / Functional programming / Delimited continuation / Programming language semantics / Logic in computer science / Call-with-current-continuation / Operational semantics / Monad / Software engineering / Computing / Computer programming

1 To appear in J. Functional Programming A Monadic Framework for Delimited Continuations

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2006-09-20 01:15:04
39Control flow / Continuations / Subroutines / Models of computation / Theoretical computer science / Continuation / Delimited continuation / COMEFROM / Goto / Software engineering / Computing / Computer programming

Reasoning about Continuations with Control E ects Pierre Jouvelot 1 2 David K. Gi ord 2 ;

Add to Reading List

Source URL: www.psrg.lcs.mit.edu

Language: English - Date: 2013-07-14 14:56:24
40Functional languages / Continuations / Control flow / Delimited continuation / Standard ML / Reset / OCaml / Caml / Computing / Software engineering / Computer programming

shift/reset 23

Add to Reading List

Source URL: pllab.is.ocha.ac.jp

Language: English - Date: 2011-09-23 03:42:06
UPDATE